例句與造句

1. There are two kinds of constraint handling rules.
2. It has served as an intermediate language for compiling Constraint Handling Rules ( CHR ) and Answer Set Programs ( ASP ).
3. Constraint handling rules were initially defined as a stand-alone formalism for specifying constraint solvers, and were later embedded in logic programming.
4. Constraint handling rules can be seen as a form of concurrent constraint logic programming, but are also sometimes used within a non-concurrent constraint logic programming language.
5. Constraint handling rules can be seen as a form of concurrent constraint logic programming, but are used for programming a constraint simplifier or solver rather than concurrent processes.
6. It's difficult to find constraint handling rules in a sentence. 用constraint handling rules造句挺難的
7. In a constraint logic programming language supporting constraint handling rules, a programmer can use these rules to specify possible rewritings of the constraint store and possible additions of constraints to it.
8. Arithmetic constraints over finite domains, finite set constraints, generalized propagation, interval reasoning over non-linear constraints, interfaces to external simplex solvers, constraint handling rules ( CHR ) and more.